Results for 'G. Pozo López'

933 found
Order:
  1.  24
    Martensitic transformation in as-grown and annealed near-stoichiometric epitaxial Ni2MnGa thin films.P. Machain, A. M. Condó, P. Domenichini, G. Pozo López, M. Sirena, V. F. Correa & N. Haberkorn - 2015 - Philosophical Magazine 95 (23):2527-2538.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    The influence of microstructure on the martensitic transformation in Cu–Zn–Al melt-spun ribbons.J. L. Pelegrina, L. M. Fabietti, A. M. Condó, G. Pozo López & S. E. Urreta - 2010 - Philosophical Magazine 90 (20):2793-2805.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  95
    DeFinettian Consensus.L. G. Esteves, S. Wechsler, J. G. Leite & V. A. González-López - 2000 - Theory and Decision 49 (1):79-96.
    It is always possible to construct a real function f, given random quantities X and Y with continuous distribution functions F and G, respectively, in such a way that f(X) and f(Y), also random quantities, have both the same distribution function, say H. This result of De Finetti introduces an alternative way to somehow describe the `opinion' of a group of experts about a continuous random quantity by the construction of Fields of coincidence of opinions (FCO). A Field of coincidence (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  1
    Social Education in Prisons in Spain.Rocío Nicolás López, Francisco del Pozo Serrano & Fernando Gil Cantero - 2024 - ENCYCLOPAIDEIA 28 (69):59-72.
    The aim of this research is to analyse the socio-pedagogical actions carried out in Spanish prisons. To do so, we begin by analysing the main regulations covering educational policy in prisons, share as an essential axis the orientation of the custodial sentence towards the re-education and social reintegration of the prisoners, serving as a basis for justifying social intervention. Secondly, we analysed the prison population, where we observed a prevalence of men over women, a greater presence of crimes related to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  45
    E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]E. G. K. Lopez-Escobar - 1969 - Journal of Symbolic Logic 34 (2):301-302.
  6.  16
    Barwise Jon and Kunen Kenneth. Hanf numbers for fragments of L∞ω. Israel journal of mathematics, vol. 10 , pp. 306–320.E. G. K. López-Escobar - 1984 - Journal of Symbolic Logic 49 (1):315.
  7.  53
    The mental and subjective skin: Emotion, empathy, feelings and thermography.E. Salazar-López, E. Domínguez, V. Juárez Ramos, J. de la Fuente, A. Meins, O. Iborra, G. Gálvez, M. A. Rodríguez-Artacho & E. Gómez-Milán - 2015 - Consciousness and Cognition 34:149-162.
  8.  41
    Constructions and negationless logic.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):7 - 22.
  9.  34
    Logic: Techniques of Formal Reasoning.E. G. K. Lopez-Escobar - 1967 - Philosophical Review 76 (2):252.
  10.  22
    (2 other versions)An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details.E. G. K. López-Escobar - 1983 - Journal of Symbolic Logic 48 (1):220-222.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  19
    (1 other version)Controlled Model Exploration.Gabriel G. Infante-Lopez, Carlos Areces & Maarten de Rijke - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 205-220.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Catalina. Inteligencia animal en Aristóteles.G. López - 2009 - Discusiones Filosóficas 10 (15):69-81.
  13. Intuitionistic equivalence.E. G. K. Lopez-Escobar & Francisco Miraglia - 1999 - Manuscrito 22 (2):205.
     
    Export citation  
     
    Bookmark  
  14.  41
    Remarks on the church-Rosser property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
    A reduction algebra is defined as a set with a collection of partial unary functions (called reduction operators). Motivated by the lambda calculus, the Church-Rosser property is defined for a reduction algebra and a characterization is given for those reduction algebras satisfying CRP and having a measure respecting the reductions. The characterization is used to give (with 20/20 hindsight) a more direct proof of the strong normalization theorem for the impredicative second order intuitionistic propositional calculus.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15.  43
    The Ethical Import of Grief.Roger G. López - 2023 - Journal of Value Inquiry 57 (1):149-171.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  49
    (1 other version)Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 , pp. 226–252.E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
  17.  69
    Remarks on an infinitary language with constructive formulas.E. G. K. Lopez-Escobar - 1967 - Journal of Symbolic Logic 32 (3):305-318.
  18.  16
    On the existential link of catastrophe and tragedy.Victor G. Rivas López - forthcoming - Filosofia Revista da Faculdade de Letras da Universidade do Porto.
    The main thesis of this dissertation is set out in its very title, and to prove it will be necessary to eliminate the usual negative or melodramatic meaning of the two concepts that appear there and take them rather as the two extremes of the dialectical process of redefining the sociopersonal consciousness. In accordance with this, any catastrophe implies the violent breakup of the normal conditions of existence due to a natural or human factor whose direct consequences each one must (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Implicational logics in natural deduction systems.E. G. K. López-Escobar - 1982 - Journal of Symbolic Logic 47 (1):184-186.
  20.  32
    Bilinguals' Plausibility Judgments for Phrases with a Literal vs. Non-literal Meaning: The Influence of Language Brokering Experience.Belem G. López, Jyotsna Vaid, Sümeyra Tosun & Chaitra Rao - 2017 - Frontiers in Psychology 8.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  22
    On a Theorem of J. I. Malitz.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (4):586-586.
  22.  67
    Konstrukcje a logika beznegacyjna.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):20-20.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  51
    Equivalence between semantics for intuitionism. I.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (4):773-780.
  24.  25
    Graphene under perpendicular incidence of electromagnetic waves: Gaps and band structure.F. J. López-Rodríguez & G. G. Naumis - 2010 - Philosophical Magazine 90 (21):2977-2988.
  25.  36
    Self-Knowledge and the Elusive Pleasure of Vengeance.Roger G. López - 2020 - Philosophia 48 (1):289-311.
    The present essay looks to add to the body of literature that seeks to clarify the nature of vengeance and evaluate it morally. However, unlike previous philosophical investigations of vengeance, my essay examines it not from the standpoint of impersonal justice but from the perspective of the one who seeks it, to determine whether it is good for the would-be avenger. The values I measure it by are fulfillment and self-knowledge. The paper has two major parts. In the first, I (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  30
    The heteronomous moral value of shame.Roger G. López - 2017 - South African Journal of Philosophy 36 (3):393-409.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  50
    On the interpolation theorem for the logic of constant domains.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (1):87-88.
  28.  44
    A second paper "on the interpolation theorem for the logic of constant domains".E. G. K. López-Escobar - 1983 - Journal of Symbolic Logic 48 (3):595-599.
  29.  25
    A Complete, Infinitary Axiomatization of Weak Second-Order Logic.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (3):467-467.
  30.  29
    Richard A. Platek. Eliminating the continuum hypothesis. The journal of symbolic logic, vol. 34 , pp. 219–225.E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):166.
  31.  34
    The problem of objectivism in the production of sociological knowledge: the correspondence of Alfred Schutz, Talcott Parsons and Harold Garfinkel.Daniela G. López - 2014 - Cinta de Moebio 51:171-191.
    The epistemological problem of objectivism in the production of sociological knowledge confronts the researcher with the question of the risk involved in substituting social reality by the idealizations and abstractions created by science. Without a doubt, the subject seems intriguing and requires its thematization facing toward and appropriate foundation of sociological concepts. In order to address that problem, the article aims to recover, from a hermeneutic perspective, a phenomenologically inspired epistemology in the works of Alfred Schutz and Harold Garfinkel. To (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  16
    (1 other version)Variations on A System Of Gentzen.E. G. K. López-Escobar - 1981 - Mathematical Logic Quarterly 27 (25‐30):385-389.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  24
    (1 other version)Review: G. V. Cudnovskii, Some Results in the Theory of Infinitely Long Expressions. [REVIEW]E. G. K. López-Escobar - 1972 - Journal of Symbolic Logic 37 (1):202-203.
  34.  42
    (1 other version)Review: H. Jerome Keisler, Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers. [REVIEW]E. G. K. López-Escobar - 1973 - Journal of Symbolic Logic 38 (3):522-523.
  35. Movilidad torácica y abdominal en adultos jóvenes de ambos sexos sin patología conocida.G. Valenza Demet, C. Villaverde Gutierrez, M. C. Valenza, C. Moreno Lorenzo, M. Botella López, F. M. Ocaña Peinado, Gerald Valenza Demet & F. De Ciencias de la Salud - 2011 - Revista Scientia 16 (2):85-94.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  28
    Regrettable experiences and the affirmation of life.Roger G. López - 2023 - South African Journal of Philosophy 42 (2):75-88.
    My theme in this essay is the relation of misfortune – and other occasions for regret – to the affirmation of life. R. Jay Wallace believes there is an antagonistic relation that produces a schism between our affirmative attitudes and our reasons and considered judgments. On his view, our attachments to the persons and projects that give meaning to our lives lead us to affirm states of affairs it would be more appropriate to regret. I argue that the attitude of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  16
    Impact of COVID-19 lockdown in a biomedical research campus: A gender perspective analysis.Nuria Izquierdo-Useros, Miguel Angel Marin Lopez, Marta Monguió-Tortajada, Jose A. Muñoz-Moreno, Cristina Agusti Benito, Sara Morón-López, Harvey Evans, Melisa Gualdrón-López, Jörg Müller & Julia G. Prado - 2022 - Frontiers in Psychology 13.
    From March to September 2020, researchers working at a biomedical scientific campus in Spain faced two lockdowns and various mobility restrictions that affected their social and professional lifestyles. The working group “Women in Science,” which acts as an independent observatory of scientific gender inequalities on campus launched an online survey to assess the impact of COVID-19 lockdowns on scientific activity, domestic and caregiving tasks, and psychological status. The survey revealed differences in scientific performance by gender: while male researchers participated in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  28
    (2 other versions)Generalized Interpolation and Definability.E. G. K. López-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  9
    Further applications of ultra-conservative ω-rules.E. G. K. López-Escobar - 1980 - Archive for Mathematical Logic 22 (3-4):89-102.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. König's lemma, the ω-Rule and primitive recursive arithmetic.E. G. K. López-Escobar - 1985 - Archive for Mathematical Logic 25 (1):67-74.
     
    Export citation  
     
    Bookmark  
  41.  63
    William James and the Religious Character of the Sick Soul.Roger G. López - 2014 - Human Studies 37 (1):83-101.
    The scholarly attention lavished on William James’ case study in the “Sick Soul” lecture in The Varieties of Religious Experience of a man disturbed by the vision of an epileptic patient has generally not approached this case as a religious experience. To deepen our understanding of religious experience, I show that this case study can be understood as religious using elements of the theory of religion expounded throughout James’ text. I argue that it can be understood as a stage in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  21
    Review: Jon Barwise, Kenneth Kunen, Hanf Numbers for Fragments of $L_{inftyomega}$. [REVIEW]E. G. K. Lopez-Escobar - 1984 - Journal of Symbolic Logic 49 (1):315-315.
  43.  45
    Public Perception of Organ Donation and Transplantation Policies in Southern Spain.Gonzalo Díaz-Cobacho, Maite Cruz-Piqueras, Janet Delgado, Joaquín Hortal-Carmona, María Victoria Martínez-López, Alberto Molina-Pérez, Álvaro Padilla-Pozo, Julia Ranchal-Romero & David Rodríguez-Arias - 2022 - Transplantation Proceedings 54 (3):567-574.
    Background: This research explores how public awareness and attitudes toward donation and transplantation policies may contribute to Spain's success in cadaveric organ donation. Materials and Methods: A representative sample of 813 people residing in Andalusia (Southern Spain) were surveyed by telephone or via Internet between October and December 2018. Results: Most participants trust Spain's donation and transplantation system (93%) and wish to donate their organs after death (76%). Among donors, a majority have expressed their consent (59%), and few nondonors have (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  12
    (1 other version)Review: Wilbur John Walkoe, Finite Partially-Ordered Quantification. [REVIEW]E. G. K. Lopez-Escobar - 1975 - Journal of Symbolic Logic 40 (2):239-240.
  45.  92
    In Defense of Trait‐Based Love.Roger G. López - 2018 - European Journal of Philosophy:169-194.
    It is widely believed that a person's traits can function as reasons for loving her. Notable contemporary work in the philosophy of love has taken the rejection of this premise as its point of departure. As far as I can tell, none of that work has engaged with a careful philosophical exposition of the view under discussion. In the following pages, I will defend the idea of trait-based love against three of its critics and one of its advocates. I will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  29
    Engeler Erwin. Zur Beweistheorie von Sprachen mit unendlich langen Formeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 213–218. [REVIEW]E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (4):685-685.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  20
    Review: Richard A. Platek, Eliminating the Continuum Hypothesis. [REVIEW]E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):166-166.
  48.  25
    Historical Approach and Scale Reconstruction of Two Medieval Mechanisms from “The Book of Secrets”.G. Medina-Sánchez, J. Moreno-Buesa, R. Dorado-Vicente & R. López-García - 2024 - Foundations of Science 29 (1):105-124.
    Abstract“The Book of Secrets in the Results of Ideas”, usually called “The Book of Secrets” is a codex containing drawings and descriptions of thirty-one artifacts attributed to the engineer Alī Ibn Khalaf al-Murādī, who lived in Andalusia in southern Spain at the beginning of the 11th century. This manuscript is one of the first written testimonies that describe medieval mechanisms with complex precision. The aim of this work is to reconstruct and study from a historical and technological point of view (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  24
    A Further Analysis of the Blackbody Radiation.G. Ares De Parga, F. Gutiérrez-Mejıa, Up Adolfo López Mateos & Lindavista Zacatenco - 2010 - Apeiron: Studies in Infinite Nature 17 (2):59.
  50. Tributacion Y la teoria Y practica de la economia Del lado de la oferta.David G. Davies & Jesús A. López Heredia - 1981 - Humanitas 22:361.
     
    Export citation  
     
    Bookmark  
1 — 50 / 933